The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Bernhard Steffen Books

Results for Bernhard Steffen

Showing 1 to 12 of 20 results
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues) Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues) by

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues)

by


ISBN 13: 9783540489283

Format: Paperback (203 pages)
Publisher: Springer
Published: 03 Nov 2006

Save for later

 
New : $56.08  
New : $56.08
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, ... in Computer and Information Science) Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, ... in Computer and Information Science) by

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, ... in Computer and Information Science)

by


ISBN 13: 9783540884781

Format: Paperback (708 pages)
Publisher: Springer
Published: 14 Oct 2008

Save for later

 
New : $155.64  
New : $155.64
Correct System Design: Recent Insights and Advances: 1710 (Lecture Notes in Computer Science) Correct System Design: Recent Insights and Advances: 1710 (Lecture Notes in Computer Science) by Bernhard Steffen,Ernst-R??diger Olderog

Correct System Design: Recent Insights and Advances: 1710 (Lecture Notes in Computer Science)

by Bernhard Steffen,Ernst-R??diger Olderog


ISBN 13: 9783540666240

Format: Paperback (436 pages)
Publisher: Springer
Published: 22 Sep 1999

Save for later

 
New : $56.50  
New : $56.50
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers: 1385 (Lecture Notes in Computer Science) Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers: 1385 (Lecture Notes in Computer Science) by Bernhard Steffen,Roland R¿¿ckert,Tiziana Margaria,Joachim Posegga

Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers: 1385 (Lecture Notes in Computer Science)

by Bernhard Steffen,Roland R¿¿ckert,Tiziana Margaria,Joachim Posegga


ISBN 13: 9783540643678

Format: Paperback (344 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $56.10  
New : $56.10
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... 1055 (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... 1055 (Lecture Notes in Computer Science) by Bernhard Steffen,Tiziana Margaria

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... 1055 (Lecture Notes in Computer Science)

by Bernhard Steffen,Tiziana Margaria


ISBN 13: 9783540610427

Format: Paperback (456 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $56.25  
New : $56.25
SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... 10139 (Lecture Notes in Computer Science) SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... 10139 (Lecture Notes in Computer Science) by Bernhard Steffen,Christel Baier,Mark van den Brand,Johann Eder,Mike Hinchey,Tiziana Margaria

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... 10139 (Lecture Notes in Computer Science)

by Bernhard Steffen,Christel Baier,Mark van den Brand,Johann Eder,Mike Hinchey,Tiziana Margaria


ISBN 13: 9783319519623

Format: Paperback (544 pages)
Publisher: Springer
Published: 04 Feb 2017

Save for later

 
New : $56.29  
New : $56.29
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... 2937 (Lecture Notes in Computer Science) Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... 2937 (Lecture Notes in Computer Science) by Bernhard Steffen,Giorgio Levi

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... 2937 (Lecture Notes in Computer Science)

by Bernhard Steffen,Giorgio Levi


ISBN 13: 9783540208037

Format: Paperback (342 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

 
New : $56.10  
New : $56.10
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... II: 8803 (Lecture Notes in Computer Science) Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... II: 8803 (Lecture Notes in Computer Science) by Tiziana Margaria,Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... II: 8803 (Lecture Notes in Computer Science)

by Tiziana Margaria,Bernhard Steffen


ISBN 13: 9783662452301

Format: Paperback (664 pages)
Publisher: Springer
Published: 07 Oct 2014

Save for later

 
New : $56.39  
New : $56.39
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... I: 8802 (Lecture Notes in Computer Science) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... I: 8802 (Lecture Notes in Computer Science) by Tiziana Margaria,Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... I: 8802 (Lecture Notes in Computer Science)

by Tiziana Margaria,Bernhard Steffen


ISBN 13: 9783662452332

Format: Paperback (568 pages)
Publisher: Springer
Published: 07 Oct 2014

Save for later

 
New : $56.27  
New : $56.27
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... IV: 11247 (Lecture Notes in Computer Science) Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... IV: 11247 (Lecture Notes in Computer Science) by Tiziana Margaria,Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... IV: 11247 (Lecture Notes in Computer Science)

by Tiziana Margaria,Bernhard Steffen


ISBN 13: 9783030034269

Format: Paperback (544 pages)
Publisher: Springer
Published: 18 Dec 2018

Save for later

 
New : $56.29  
New : $56.29
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science) by Dirk Beyer,Marieke Huisman,Fabrice Kordon,Bernhard Steffen

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science)

by Dirk Beyer,Marieke Huisman,Fabrice Kordon,Bernhard Steffen


ISBN 13: 9783030175016

Format: Paperback (288 pages)
Publisher: Springer
Published: 04 Apr 2019

Save for later

 
New : $56.04  
New : $56.04
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science) by Kim G. Larsen,Bernhard Steffen,Tiziana Margaria,W. Rance Cleaveland,Ed Brinksma

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science)

by Kim G. Larsen,Bernhard Steffen,Tiziana Margaria,W. Rance Cleaveland,Ed Brinksma


ISBN 13: 9783540606307

Format: Paperback (308 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $56.04  
New : $56.04